退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:所有这些仅需很少的代价:(通过视图抽象进行参数化验证)
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš;
机译:通过视图抽象进行参数化验证
机译:单调抽象(关于参数化系统的有效验证)
机译:增强抽象验证:自动机理论观点
机译:物有所值(通过视图抽象进行参数化验证)
机译:参数化的软件验证。
机译:ALAMEDA蚕豆作物的结构功能模型:形态参数化和验证
机译:全部都花了很少的钱:(通过视图抽象进行参数化验证)
机译:电路描述的抽象装置和验证装置,电路描述的抽象程序和验证程序,以及电路描述的抽象方法和验证方法
机译:分层参数化细胞设计,检验和验证系统中形成警戒环参数化细胞结构的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。